Самая большая электронная библиотека рунета. Поиск книг и журналов

Proofs and Computations (Perspectives in Logic)

Автор: , Автор:
Размер книги: 2.80 Mb

Computer Science Logic, 14 conf.EACSL

Автор: , Автор:
Размер книги: 3.26 Mb